package exception;

/**
 * @author Zlatka Trajcheska, Marija Petkovska
 * @version 1.0 03.03.2013 
 * 
 * This class is an Exception that is thrown when we encounter a variable during the evaluation
 * of guards and updates that is used for assignment, but is not initialized.
 */
public class UninitializedVariableException extends Exception {

	/**
	 * This method is the constructor of the class.
	 * It calls the constructor of the Superclass with a proper message.
	 */
	public UninitializedVariableException() {
		super("Evaluation failed. Uninitialized variable!");
		// TODO Auto-generated constructor stub
	}

}
